Mariëlle Stoelinga (Autor) / Nejlevnější knihy

Knihy od autora Mariëlle Stoelinga

Zobrazeno 1 – 9 z 9 výsledků

Další

Stránka 1. z 1

Předchozí

Řadit podle a zobrazit také nedostupné

  1. Formal Methods for Industrial Critical Systems

    Formal Methods for Industrial Critical Systems

    Mariëlle Stoelinga, Ralf Pinger | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2012


    Skladem u dodavatele - Odesíláme za 5-8 dnů

    Jazyk: Angličtina

    Vazba: Brožovaná

    1088

  2. Principles of Verification: Cycling the Probabilistic Landscape

    Principles of Verification: Cycling the Probabilistic Landscape

    Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk | Springer, Berlin, 2024


    Skladem u dodavatele - Odesíláme za 5-8 dnů

    Jazyk: Angličtina

    Vazba: Brožovaná

    1770

  3. Quantitative Evaluation of Systems

    Quantitative Evaluation of Systems

    Pedro R. D'Argenio, Kaustubh Joshi, Markus Siegle, Mariëlle Stoelinga | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2013


    Skladem u dodavatele - Odesíláme za 5-8 dnů

    Jazyk: Angličtina

    Vazba: Brožovaná

    1182

  4. Concise Guide to Fault Tree Analysis

    Concise Guide to Fault Tree Analysis

    Mariëlle Stoelinga, Enno Ruijters, Pavel Krcál | Springer, Berlin, 2025


    Skladem u dodavatele - Odesíláme za 10-13 dnů

    Jazyk: Angličtina

    Vazba: Pevná

    1500

  5. Stochastic Model Checking

    Stochastic Model Checking

    Anne Remke, Mariëlle Stoelinga | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2014


    Skladem u dodavatele v malém množství - Odesíláme za 13-18 dnů

    Jazyk: Angličtina

    Vazba: Brožovaná

    1352

  6. A Journey from Process Algebra via Timed Automata to Model Learning

    A Journey from Process Algebra via Timed Automata to Model Learning

    Nils Jansen, Mariëlle Stoelinga, Petra van den Bos | Springer, Berlin, 2022


    Skladem u dodavatele - Odesíláme za 5-8 dnů

    Jazyk: Angličtina

    Vazba: Brožovaná

    1182

  7. Principles of Verification: Cycling the Probabilistic Landscape

    Principles of Verification: Cycling the Probabilistic Landscape

    Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk | Springer, Berlin, 2024


    Skladem u dodavatele - Odesíláme za 5-8 dnů

    Jazyk: Angličtina

    Vazba: Brožovaná

    1652

  8. Formal Modeling and Analysis of Timed Systems

    Formal Modeling and Analysis of Timed Systems

    Mariëlle Stoelinga | Springer Nature Switzerland AG, 2019


    Skladem u dodavatele - Odesíláme za 5-8 dnů

    Jazyk: Angličtina

    Vazba: Brožovaná

    1182

  9. Principles of Verification: Cycling the Probabilistic Landscape

    Principles of Verification: Cycling the Probabilistic Landscape

    Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk | Springer, Berlin, 2024


    Skladem u dodavatele - Odesíláme za 5-8 dnů

    Jazyk: Angličtina

    Vazba: Brožovaná

    1887

Další

Stránka 1. z 1

Předchozí

Záznamů na stránku

Filtrovat výsledky

Jazyk
  • Angličtina9
Vazba
  • Brožovaná8
  • Pevná1
Dostupnost
  • Do 2 týdnů8
  • Do měsíce1
Rok vydání
  • 20251
  • 20243
  • 20221
  • 20191
  • 20141
  • 20131
  • 20121
Rozsah ceny

-



Osobní odběr Praha, Brno a 47512 dalších

Copyright ©2008-26 nejlevnejsi-knihy.cz Všechna práva vyhrazenaSoukromíCookies


Můj účet: Přihlásit se
Všechny knihy světa na jednom místě. Navíc za skvělé ceny.

Nákupní košík ( prázdný )

Vyzvednutí v Balikovně a PPL
boxech
zdarma nad 1 499 Kč.

Nacházíte se: